Modelling Causality via Action Dependencies in Branching Time Semantics
نویسندگان
چکیده
We show that the approach of Mazurkiewicz trace theory | modelling causalities between action occurrences using a global dependency relation | can be generalised to branching time semantics (modelling both causalities and points of choice). More precisely, we show that the usual notion of bisimulation coincides with history preserving bisimulation and that usual testing coincides with "causal testing" for a system model with a global dependency relation.
منابع مشابه
An Axiomatization of Well Branching Prime Event Structures an Axiomatization of Well Branching Prime Event Structures
We develop a tense logic for reasoning about the occurrences of events in a sub-class of prime event structures called well branching event structures. The well branching property ensures that two events being in connict can always be traced back | via the causality relation | to two events being in minimal connict. Two events are in minimal connict if they are in connict and their \uniied" pas...
متن کاملStefan Wölfl Events in Branching Time
The concept of event is one of the key notions of many theories dealing with causality or agency. In this paper we study different approaches to events that share the basic assumption that events can be analyzed fruitfully in branching-time structures. The terminological framework developed thereby may be helpful for further analyses in the fields of causality and agency and also in those field...
متن کاملFinite Petri Nets as Models for Recursive Causal Behaviour
We will show that the answer depends on the chosen notion of behaviour. It was already known that the interleaving behaviour and the branching structure of terms as B can be modelled as long as causality is not taken into account. We now show that also the causal behaviour of B can be modelled as long as the branching structure is not taken into account. However, it is not possible to represent...
متن کاملA coalgebraic semantics for causality in Petri nets
In this paper we revisit some pioneering efforts to equip Petri nets with compact operational models for expressing causality. The models we propose have a bisimilarity relation and a minimal representative for each equivalence class, and they can be fully explained as coalgebras on a presheaf category on an index category of partial orders. First, we provide a set-theoretic model in the form o...
متن کاملDiscrete-time and Continuous-time Approaches to Dynamic Microsimulation Reconsidered
In this paper the continuous-time competing-risk approach to dynamic microsimulation modelling and approaches based on a discrete-time framework are compared in a systematic way. Besides the basic modelling approaches the possibilities to extend the models to include quantitative and qualitative dependent variables, to use macroeconomic explanatory variables, and to account for dependencies bet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 59 شماره
صفحات -
تاریخ انتشار 1996